Stephen Cook - PDFSEARCH.IO - Document Search Engine

Stephen Cook
Results: 75

#	Item
21	Corrections for Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen ASL Perspectives in Logic Series Cambridge University Press, 2010. Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-12-06 10:50:09
22	Relativizing Small Complexity Classes and their Theories Klaus Aehlig∗ Stephen Cook Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2007-10-18 18:16:58
23	Corrections for Logical Foundations of Proof Complexity Stephen Cook and Phuong Nguyen ASL Perspectives in Logic Series Cambridge University Press, 2010. Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2010-11-13 17:15:51
24	Computing over the Reals: Foundations for Scientific Computing Mark Braverman and Stephen Cook Introduction Add to Reading List Source URL: www.ams.org Language: English - Date: 2006-02-08 14:25:07 Computer science Theory of computation Alan Turing Models of computation Computable function Church–Turing thesis Computability Computational complexity theory Computable number Computability theory Theoretical computer science Mathematics
25	Hydrodynamics of High Speed Craft Conference (RINANovember 1999, London, UK Investigation into Wave Loads and Catamarans Stephen M. Cook, AME CRC, Curtin University Add to Reading List Source URL: cmst.curtin.edu.au Language: English - Date: 2014-11-11 04:54:40 Elasticity Statics Structural system Structural analysis Catamaran Strain gauge Beam Euler–Bernoulli beam theory Structural engineering Mechanics Physics Solid mechanics
26	Average Case Lower Bounds for Monotone Switching Networks Yuval Filmus, Toniann Pitassi, Robert Robere and Stephen A. Cook Department of Computer Science University of Toronto Toronto, Canada {yuvalf, toni, robere, sacoo Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-08-15 23:12:55 Order theory Computational complexity theory Functional analysis Monotonic function Real analysis Circuit complexity FO Aanderaa–Karp–Rosenberg conjecture Galois connection Theoretical computer science Mathematics Mathematical analysis
27	Urban Water Security Research Alliance Communal rainwater harvesting: monitoring and validation Stephen Cook Decentralised Systems: Communal rainwater harvesting Add to Reading List Source URL: www.urbanwateralliance.org.au Language: English - Date: 2013-01-09 19:55:21 Water Irrigation Water supply Appropriate technology DIY culture Rainwater harvesting Rainwater tank Reclaimed water Water tank Environment Sustainability Water conservation
28	Butcher Ridge igneous complex, Cook Mountains, Antarctica STEPHEN MARSHAK Lamont-Doherty Geological Observatory and Department of Geological Sciences Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2011-05-06 06:15:02 Volcanology Stratigraphy Igneous rocks Formation Andesite Geological unit Diabase Volcanic rock Magma Petrology Geology Igneous petrology
29	UPSTAGE A Publication of the Education Department at RoundaboutTheatreCompany UP SPRING 2010 Add to Reading List Source URL: www.roundabouttheatre.org Language: English - Date: 2010-04-22 15:27:22 Arts Stephen Sondheim Sondheim on Sondheim Do I Hear a Waltz? Merrily We Roll Along Follies Oscar Hammerstein II Barbara Cook West Side Story Broadway musicals Musical theatre Broadway theatre
30	A The Complexity of the Comparator Circuit Value Problem STEPHEN A. COOK, Department of Computer Science, University of Toronto YUVAL FILMUS, Department of Computer Science, University of Toronto DAI TRI MAN LÊ, Departm Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-04-02 14:14:13 Circuit complexity Computational complexity theory ACC0 FO Comparator Sorting network AC TC0 Boolean circuit Theoretical computer science Applied mathematics Complexity classes

UPDATE